inspector: Use consistent GtkTextView margins

diff --git a/gtk/inspector/css-editor.ui b/gtk/inspector/css-editor.ui
index 18eb32d8e7d7569eb857508c829aab3eab6c39f7..7663af860b68d9c10a8617995028882252352eac 100644 (file)
--- a/gtk/inspector/css-editor.ui
+++ b/gtk/inspector/css-editor.ui
@@ -56,6 +56,8 @@
             <property name="monospace">1</property>
             <property name="left-margin">6</property>
             <property name="right-margin">6</property>
+            <property name="top-margin">6</property>
+            <property name="bottom-margin">6</property>
             <property name="has-tooltip">1</property>
             <signal name="query-tooltip" handler="query_tooltip_cb"/>
           </object>

diff --git a/gtk/inspector/resource-list.ui b/gtk/inspector/resource-list.ui
index 358458327d919d30802c474323e05282d9e75ee5..4c78ca2083274cffcc8f00fea3e951c5903fc3ee 100644 (file)
--- a/gtk/inspector/resource-list.ui
+++ b/gtk/inspector/resource-list.ui
@@ -201,6 +201,10 @@
                               <object class="GtkTextView">
                                 <property name="editable">0</property>
                                 <property name="buffer">buffer</property>
+                                <property name="left-margin">6</property>
+                                <property name="right-margin">6</property>
+                                <property name="top-margin">6</property>
+                                <property name="bottom-margin">6</property>
                               </object>
                             </child>
                           </object>